
//  Copyright (C) 2007 Richard Uhler

//?d:A standard Date.prototype.setTime
//?e:23452345

// 1189656728000 is Thu, Sep 13 4:12:08:000 GMT 2007
dn = 1189656728000;
foo = new Date(dn);
print(foo.setTime(2345));
print(foo.valueOf());

